University of Pennsylvania, Philadelphia. Goal: develop methods, tools, systems to facilitate designing and implementing reliable distributed RT systems. Current projects: developing specification and analysis methods for RT systems, probabilistic mod...
Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Project. Descriptions, documents, downloads, contacts, links.
A site which shows that the languages generated by phrase structure grammars are recursively enumerable languages. Similarly, it shows that the languages generated by context sensitive grammars are accepted by linear bounded automata.